package com.googlecode.kipler.container.dl;

import java.util.Set;

import com.googlecode.kipler.syntax.formula.Formula;


public interface MarkedFormulaContainer {
	public Set<Formula> getMarkedFormulas();
}
